- полная разрешимость
- complete decidability мат.
Русско-английский научно-технический словарь Масловского. 2015.
полная разрешимость
Look at other dictionaries:
АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ ТЕОРИЯ — наука о методах определения законов управления к. л. объектами, допускающих реализацию с помощью тех нич. средств автоматики. Исторически сложилось так, что методы А. у. т. получили свое первое развитие применительно к процессам, встречающимся… … Математическая энциклопедия
Маджонг (пасьянс) — Эта статья о пасьянсе; об азартной игре см.: Маджонг. Компьютерная версия Маджонга «Mahjongg» из набора игр … Википедия
ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… … Математическая энциклопедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
РАЗРЕШЕНИЯ ПРОБЛЕМА — РАЗРЕШЕНИЯ ПРОБЛЕМА возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых задач явились решение в радикалах уравнений выше четвертой степени и невозможность провести… … Философская энциклопедия
АНАЛИТИЧЕСКАЯ ФУНКЦИЯ — функция, к рая может быть представлена степенным рядом. Исключит, важность класса А. ф. определяется следующим. Во первых, этот класс достаточно ш и р о к: он охватывает большинство функций, встречающихся в основных вопросах математики и ее… … Математическая энциклопедия
МИНИМАЛЬНАЯ ПОВЕРХНОСТЬ — поверхность, у к рой средняя кривизна Нравна нулю во всех точках. Первые исследования о М. п. восходят к Ж. Лагранжу (J. Lagrange, 1768), к рый рассмотрел следующую вариационную задачу: найти поверхность наименьшей площади, натянутую на данный… … Математическая энциклопедия
ФРЕДГОЛЬМА УРАВНЕНИЕ — интегральное уравнение вида Ф. у. 1 го род а, или вида Ф. у. 2 го рода, если интегральный оператор является вполне непрерывным в нек ром функциональном пространстве Е. Предполагается, что свободный член f и искомая функция принадлежат… … Математическая энциклопедия
ОТНОСИТЕЛЬНОСТИ ТЕОРИЯ — физическая теория, рассматривающая пространственно временные закономерности, справедливые для любых физ. процессов. Универсальность пространственно временных св в, рассматриваемых О. т., позволяет говорить о них просто как о .св вах пространства… … Физическая энциклопедия
АБЕЛЕВА ГРУППА — разрешимости алгебраич. уравнений в радикалах. Обычно для обозначения операции в А. г. используется аддитивная запись, т. е. знак + для самой операции, наз. сложением, знак 0 для нейтрального элемента, наз. нулем (в мультипликативной записи он… … Математическая энциклопедия
ОРТОМОДУЛЯРНАЯ РЕШЕТКА — решетка с нулем (0) и единицей (1), в к рой для любого элемента асуществует ортодополнение , т. е. такой элемент, что и выполняется ортомодулярный закон: В О. р. исследовались в основном дистрибутивность н перспективность, неприводимость,… … Математическая энциклопедия
